翻訳と辞書 Words near each other ・ Computational humor ・ Computational immunology ・ Computational indistinguishability ・ Computational informatics ・ Computational Infrastructure for Geodynamics ・ Computational intelligence ・ Computational Intelligence (journal) ・ Computational irreducibility ・ Computational journalism ・ Computational law ・ Computational learning theory ・ Computational lexicology ・ Computational linguistics ・ Computational Linguistics (journal) ・ Computational lithography ・ Computational logic ・ Computational magnetohydrodynamics ・ Computational Materials Science ・ Computational mathematics ・ Computational mechanics ・ Computational Mechanics (journal) ・ Computational methods for free surface flow ・ Computational model ・ Computational musicology ・ Computational neurogenetic modeling ・ Computational neuroscience ・ Computational number theory ・ Computational particle physics ・ Computational photography ・ Computational photography (artistic) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Computational logic ： ウィキペディア英語版 Computational logic Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is synonymous with "logic in computer science". The term “Computational Logic” came to prominence with the founding of the ACM Transactions on Computational Logic.〔http://tocl.acm.org official website of ACM Transactions on Computational Logic〕 However, its first use was probably in 1972 when the Metamathematics Unit at the University of Edinburgh was renamed “The Department of Computational Logic” in the School of Artificial Intelligence.〔http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website〕 The term was then used by Robert S. Boyer and J Strother Moore, who worked in the Department in the early 1970s, to describe their work on program verification and automated reasoning. They also founded a company (Computational Logic Inc. ) of the same name. The term “Computational Logic” has also come to be associated with logic programming, because much of the early work in logic programming in the early 1970s also took place in the Department of Computational Logic in Edinburgh. It was reused in the early 1990s to describe work on extensions of logic programming in the EU Basic Research Project “Compulog” and in the associated Network of Excellence. Krzysztof Apt, who was the co-ordinator of the Basic Research Project Compulog-II, reused and generalized the term when he founded the ACM Transactions on Computational Logic in 2000 and became its first Editor-in-Chief. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Computational logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.